A Control Software Development Method Using IEC 61499 Function Blocks, Simulation and Formal Verification
نویسندگان
چکیده
A new control software development method is presented. It uses IEC 61499 function blocks for control software programming and provides tools for simulation, execution, automatic model generation and formal verification of the control code during the development. Simulation and execution are supported by the same tool, the Fuber runtime environment. Formal modeling is done using extended finite automata (EFA) and an automatic model generation tool. Formal verification shows the behavior of the closed-loop system. i.e. when control code is executed against the model of the process. The model can use a non-deterministic execution control chart (ECC) in the process model block. The control code and the process model are expressed using the IEC 61499 language in order to avoid maintenance of the process model and control code in different languages, thus making it easier to use the formal verification in the control software development.
منابع مشابه
Modelling and Synthesis of Safety-critical Software with IEC 61499
Software forms a central part of modern industrial control systems. It is routinely used, nowadays, to control a variety of physical processes through an integration of computing elements with sensors and actuators. The falling cost of digital electronics have also led to an increasing use of multiple computing units to control large distributed systems in a networked environment. The design of...
متن کاملTransformation of Simulink models to IEC 61499 Function Blocks for verification of distributed control systems
In this paper, a new model-based engineering approach is introduced by bridging MATLAB Simulink with IEC61499 Function Block models. This is achieved by a transformation between the two blockdiagram languages. The transformation supported by the developed tools sets the cornerstone of the verification and validation framework for IEC 61499 Function Blocks in closed-loop with the models of the p...
متن کاملA Synthesis of the Standards IEC 61131 and IEC 61499 within the Design System SPaS - Software Project Tool for Automatic Control Systems
The contribution gives a short description of the software engineering tool SPaS, particularly considering the graphical flow chart design. SPaS is characterized by its technology-oriented engineering manner and by the in-built verification of its control layout. The graphical flow charts are compiled to a control program written in either of the languages: Instruction List, Structured Text, C ...
متن کاملCombining IEC 61499 and ISA S88 for Batch Control
Modeling of batch process control over several hierarchical layers is proposed in ISA S88, independently of a concrete implementation. IEC 61499, describes models to implement distributed control systems. This contribution proposes to combine the concepts of ISA S88 for hierarchical design with the models of IEC 61499 for distributed implementation. To formally describe and analyze the control ...
متن کاملA solution for applying IEC 61499 function blocks in the development of substation automation systems
function blocks along with IEC 61850 specifications in modeling and implementing control applications for substations automation. The IEC 61499 artifacts are used for structuring the control logic, while the IEC 61850 concepts for communication and information exchange between the automation devices. The proposed control architecture was implemented and validated in a simple fault protection sc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008